981. The nature of mathematics
Author: / by Max Black
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica,Russell, Bertrand, 1872-1970, joint author. Principia mathematica
Classification :
QA9
.
B62
1934
982. The nature of mathematics
Author: / by Max Black
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica
Classification :
QA
9
.
B54
983. The nature of mathematics : a critical survey
Author: Black, Max
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
B62
984. The order of forms :
Author: Anna Kornbluh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Criticism.,Formalism (Literary analysis),17.80 literary theory: general.,Criticism.,Formalism (Literary analysis),Formalismus,Literaturtheorie,Realismus
Classification :
PN98
.
F6
K675
2019
985. The origin of the logic of symbolic mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Mathematics ; Philosophy. ;
986. The origin of the logic of symbolic mathematics :
Author: Burt C. Hopkins
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA9
.
H66
2011
987. The origin of the logic of symbolic mathematics
Author: / Burt C. Hopkins
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Mathematics--Philosophy
Classification :
QA9
,.
H66
,
2011
988. The road to universal logic :
Author: Arnold Koslow, Arthur Buchsbaum, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics
Classification :
QA9
989. The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau.
Author: Arnold Koslow, Arthur Buchsbaum, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic,Logic, Symbolic and mathematical,Mathematics
Classification :
QA9
.
R63
990. The search for certainty : a philosophical account of foundations of mathematics
Author: M. Giaquinto
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
G52S4
991. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
Classification :
E-BOOK
992. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Arithmetic--Foundations--History--19th century,Arithmetic--Foundations--History--20th century,Set theory--History--19th century,Set theory--History--20th century,Logic, Symbolic and mathematical--History--19th century,Logic, Symbolic and mathematical--History--20th century
Classification :
QA
,
248
,.
G684
,
2000
993. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
Classification :
QA248
.
G684
2000
994. The structure of models of Peano arithmetic
Author: Roman Kossak, James H. Schmerl
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
Classification :
QA
9
.
7
.
K68S7
995. The structure of models of Peano arithmetic
Author: Kossak, Roman
Library: Central Library and Documentation Center (Semnan)
Subject: ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc
Classification :
QA
9
.
7
.
K67
2006
996. The structure of models of Peano arithmetic
Author: Roman Kossak, James H. Schmerl
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
Classification :
QA
9
.
7
.
K67
2006
997. The symbolic computation of integrability structures for partial differential equations /
Author: Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
Classification :
QA377
998. <The> theory of models
Author: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
I5
1965
999. The theory of models
Author: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
1000. The theory of models; proceedings
Author: / Edited by J.W. Addison, Leon Henkin (and) Alfred Tarski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Mathematical models -- Congresses
Classification :
BC
135
.
I586
1963
